$\forall$$x$, $y$:(Void List), $T$:Type. $x$ = $y$ $\in$ ($T$ List)